White-box software test generation with Microsoft Pex on open source C# projects: A dataset
نویسندگان
چکیده
منابع مشابه
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to pathbounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce new test inputs wh...
متن کاملOpen Source Mathematical Software: A White Paper
1 Open source software has had a profound effect on computing during the last decade, especially on web servers (Apache), web browsers (Firefox), operating systems (Linux and OS X), and programming languages (GCC, Java, Python, Perl, etc.). The purpose of this paper is to put forward the case that open source development methodologies might also have a positive effect on mathematical software, ...
متن کاملPerformance of Open Source Software Projects
In this study we seek to understand the factors differentiating successful from unsuccessful software projects. This article develops and tests a model measuring the impact on software project performance of (1) software products’ design architectures and (2) developers’ positions within collaborative networks. Two indicators of project success are used: product quality and project velocity. Tw...
متن کاملSoftware Engineering Lessons from Open Source Projects
The Open Source form of software development has captured the attention of academics and software practitioners alike. Though, this ‘phenomenon’ has been touted by some to be how all software will eventually be developed, many are critical about how far this form of organization will be successful. It is very likely that both the traditional form as well as the Open Source form of organization ...
متن کاملSocial Structure for Open Source Software Projects
Open source software (OSS) has drawn increasing attention from both practitioners and researchers in recent years. However, few empirical studies have investigated the interaction process of OSS teams during OSS development. This dissertation has two primary objectives. First, the research studies the social structure of OSS teams. Second, the research investigates the factors impacting the soc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Data in Brief
سال: 2020
ISSN: 2352-3409
DOI: 10.1016/j.dib.2020.105962